Works in PIC SMP mode.

